Formal Design of Hybrid Control Systems: Duration . . .

A Case Study on Formal Design of Hybrid Control Systems

In this paper, we present an approach to the design of hybrid systems by combination of several comprehensive formalization techniques. We use Duration Calculus (DC) to specify the requirement and design at abstract level of system development. Then the high level designs are further refined in control theory. A formal verification may be done either in DC if it is possible, or in predicate cal...

Formal Design of Hybrid Control Systems: Duration Calculus Approach

Control of nonlinear systems using a hybrid APSO-BFO algorithm: An optimum design of PID controller

This paper proposes a novel hybrid algorithm namely APSO-BFO which combines merits of Bacterial Foraging Optimization (BFO) algorithm and Adaptive Particle Swarm Optimization (APSO) algorithm to determine the optimal PID parameters for control of nonlinear systems. To balance between exploration and exploitation, the proposed hybrid algorithm accomplishes global search over the whole search spa...

Control of nonlinear systems using a hybrid APSO-BFO algorithm: An optimum design of PID controller

This paper proposes a novel hybrid algorithm namely APSO-BFO which combines merits of Bacterial Foraging Optimization (BFO) algorithm and Adaptive Particle Swarm Optimization (APSO) algorithm to determine the optimal PID parameters for control of nonlinear systems. To balance between exploration and exploitation, the proposed hybrid algorithm accomplishes global search over the whole search spa...

Robust Power Control of Microgrid based on Hybrid Renewable Power Generation Systems

This paper presents modeling and control of a hybrid distributed energy sources including photovoltaic (PV), fuel cell (FC) and battery energy storage (BES) in a microgrid which provides both real and reactive power to support an unbalanced utility grid. The overall configuration of the microgrid including dynamic models for the PV, FC, BES and its power electronic interfacing are briefly descr...